341. Programming logic for business
پدیدآورنده : Laura Saret
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)
موضوع : Business- Data processing,Computer programming,Structured programming
رده :
658
.
05421
S244P
Ed
.
4
342. Programming logic for business
پدیدآورنده : / Laura Saret
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Business - Data processing,Computer programming,Strutured programming
رده :
HF5548
.
2
.
S238
2001
343. Programming logic for business applications
پدیدآورنده : Noemi Paz, Keiko Pitter, William Leigh,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Business - Data processing,Electronic digital computers - Programming,Structured programming
رده :
HF
.
P39
5548
.
2
1988
344. Programming with higher-order logic /
پدیدآورنده : Dale Miller, Gopalan Nadathur.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Prolog (Computer program language)
رده :
QA76
.
63
.
M554
2012
345. Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming and constraint solving : 10th portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings
پدیدآورنده : Pavel Brazdil, Alipio Jorge, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2258
346. Prolog++ : the power of object-oriented and logic programming
پدیدآورنده : Moss, Christopher D. S.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Prolog++ )Computer program language(,، Object-oriented programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P2
.
M69
1994
347. Reasoning with logic programming
پدیدآورنده : Alferes, Jose Julio
کتابخانه: (طهران)
موضوع : ، Logic programming,، Reasoning
رده :
QA
76
.
L28
Vol
.
1111
348. 30, 2010. Revised Papers-Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27
پدیدآورنده : / Michael Kifer (auth.), Paolo Frasconi, Francesca A. Lisi (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
349. 04, 2009. Revised Papers-Inductive Logic Programming: 19th International Conference, ILP 2009, Leuven, Belgium, July 02
پدیدآورنده : / Kamal Ali, Kevin Leung, Tolga Konik, Dongkyu Choi (auth.), Luc De Raedt (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
350. Solving higher-order equations: from logic to programming
پدیدآورنده : Prehofer, Christian
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
.
P74
1997
351. Starting Out with Programming Logic and Design
پدیدآورنده : / Tony Gaddis
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
352. Structured programming logic:a flowcharting approach
پدیدآورنده : JONES,JETTY LEE
کتابخانه: (طهران)
موضوع : STRUCTURED PROGRAMMING , FLOW CHARTS
رده :
QA
76
.
6
.
J665
353. Studies in automatic programming logic
پدیدآورنده : Manna, Zohar.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Automatic programming )Computer science(,، Computer programs
رده :
QA
76
.
6
.
M357
354. Systems Programming In Parallel Logic Languages
پدیدآورنده : Ian Foster
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Systems Programming (computer science),Parallel Processing (electronic computers)
رده :
QA
،
76
.
66
،.
F67
،
1990
355. Systems programming in parallel logic languages
پدیدآورنده : Foster, Ian
کتابخانه: (طهران)
موضوع : ، Systems programming )Computer science(,، Parallel processing )Electronic computers(
رده :
QA
76
.
66
.
F67
1990
356. Systems programming in parallel logic languages
پدیدآورنده : Ian Foster
موضوع : Systems programming (Computer science),Parallel processing (Electronic computers)
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
357. The Logic programming paradigm :
پدیدآورنده : K.R. Apt [and others] eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Logisch programmeren.,Programmation logique.
رده :
QA76
.
63
K737
1999
358. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
359. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
360. The logic of programming
پدیدآورنده : Hehner, Eric C R
کتابخانه: (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H42
1984
